A Theorem concerning Systems of Residue Classes
نویسنده
چکیده
By system we mean a multi-set whose elements are unordered but may occur repeatedly. FollowingŠ. Znám [8] we use a(n) to denote the residue class { x ∈ Z : x ≡ a (mod n) }. For a system (1) A = {a i (n i)} k i=1 of residue classes, the n i are called its moduli. Definition. An integer T is said to be a covering period of (1) if it is a period of the characteristic function of the set k i=1 a i (n i). It is clear that [n 1 ,. .. , n k ] is a covering period of (1), and that any covering period is a multiple of the smallest positive one. For any set S of integers we use d(S) to denote the asymptotic density lim N →∞
منابع مشابه
Shortcut Node Classification for Membrane Residue Curve Maps
comNode classification within Membrane Residue Curves (M-RCMs) currently hinges on Lyapunov’s Theorem and therefore the computation of mathematically complex eigenvalues. This paper presents an alternative criterion for the classification of nodes within M-RCMs based on the total membrane flux at node compositions. This paper demonstrates that for a system exhibiting simple permeation behaviour...
متن کاملA New Theorem Concerning Scattering of Electromagnetic Waves in Multilayered Metamaterial Spherical Structures
The proposed theorem in this paper is indicative of a kind of duality in the propagation of waves in the dual media of and in the spherical structures. Independent of wave frequency, the number of layers, their thickness, and the type of polarization, this theorem holds true in case of any change in any of these conditions. Theorem: Consider a plane wave incident on a multilayered spheric...
متن کاملCoincidence point theorem in ordered fuzzy metric spaces and its application in integral inclusions
The purpose of this paper is to present some coincidence point and common fixed point theorems for multivalued contraction maps in complete fuzzy metric spaces endowed with a partial order. As an application, we give an existence theorem of solution for general classes of integral inclusions by the coincidence point theorem.
متن کاملSet-Systems with Restricted Multiple Intersections
We give a generalization for the Deza-Frankl-Singhi Theorem in case of multiple intersections. More exactly, we prove, that if H is a set-system, which satisfies that for some k, the k-wise intersections occupy only ` residue-classes modulo a p prime, while the sizes of the members of H are not in these residue classes, then the size of H is at most (k − 1) ∑̀
متن کاملComparing Approaches to the Exploration of the Domain of Residue Classes
We report on a case study on combining proof planning with computer algebra systems. We construct proofs for basic algebraic properties of residue classes as well as for isomorphisms between residue classes using di erent proof techniques, which are implemented as strategies in a multi-strategy proof planner. The search space of the proof planner can be drastically reduced by employing computat...
متن کامل